[para]
This part of the machine's state is used and modified by the
instructions defined in the sections [sectref [vset INS0]], and
[sectref [vset INS1]].
